ABS12 ALGOL: An Extension to Algol 60 for Industrial Use
نویسندگان
چکیده
منابع مشابه
Some validation tests for an Algol 60 compiler
This report contains details of over 100 Algol 60 test programs available from NPL which can be used to validate a compiler. Interpreting the results of the tests requires a good knowledge of Algol 60.
متن کاملAlgol-Genius
Algol-Genius, an Algol 60 implementation with features from COBOL, was the brainchild of Börje Langefors. In 1964, assembler was the dominant programming language, but Algol-Genius broke that trend among Datasaab D21 customers. Algol-Genius programs were still in production in the late nineties.
متن کاملLinear Algebra ALGOL
Theoret ica l B a c k g r o u n d The procedure bisect is designed to replace the procedures tridibi I and 2 given in ES]. All three procedures are based essentially on the following theorem. Given a symmetric tridiagonal matrix with diagonal elements q to cn and off-diagonal elements b, to b, (with b 1 set equal to zero for completeness) and b i 4=0, then for any number 2 let the sequence Po (...
متن کاملRadio Emission from Algol
We report dual circular polarization VLBA observations of Algol made at orbital phases 0.22{0.30 using a diierential phase referencing technique. The ux density of Algol varied from 10{20 mJy during the observations. The radio maps show a double-lobe source separated by 1.6 mas (1.4 times the K star diameter). Although the total emission is only weakly circularly polarized, the individual lobes...
متن کاملAlgol-like Language
We present a denotational semantics for an Algol-like language Alg, which is fully abstract for the second order subset of Alg. This constitutes the rst signiicant full abstraction result for a block structured language with local variables. As all the published`test equivalences' 13, 8, 23] for Algol-like languages are contained in the second order subset, they can all be validated (easily) in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1962
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/4.4.292